Ueber Jacobi'sche Functionenk ter Ordnung zweier Variabler

Robustes Chunkparsing mit variabler Analysetiefe

Das Chunkparsing [1], [2] bietet einen besonders vielversprechenden Ansatz zum robusten, partiellen Parsing mit dem Ziel einer breiten Datenabdeckung. Ziel beim Chunkparsing ist eine partielle, nicht-rekursive syntaktische Struktur. Dieser extrem effiziente Parsing-Ansatz läßt sich als Kaskade endlicher Transducer realisieren. In diesem Beitrag wird TüSBL vorgestellt, ein System, bei dem die Ei...

Hippokrates Ueber die Krankheiten III

irrelevant. Chemistry and the relations between science, technology, and industry are well surveyed by Crosland and Cardwell respectively. Forbes's essay on mathematical cosmography is not a comprehensive account but the story (albeit interesting) of a few German cartographers. Compared with other recent collections of essays in the history of science, this volume parades no party line: witness...

Scheduling zur Automatisierung variabler Laborabläufe

Varianz in der Probenbehandlung gekennzeichnet sind.

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung

Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...